Finite satisfiability for guarded fixpoint logic
نویسندگان
چکیده
منابع مشابه
Finite Satisfiability for Guarded Fixpoint Logic
The finite satisfiability problem for guarded fixpoint logic is decidable and complete for 2ExpTime (resp. ExpTime for formulas of bounded width).
متن کاملFixpoint Logic vs. Infinitary Logic in Finite-Model Theory
In recent years several extensions of first-order logic have been investigated in the context of finite-model theory. Fixpoint logic and the infinitary logic L∞ω with a finite number of variables have turned out to be of particular importance. The study of fixpoint logic generated interactions with both database theory and complexity theory, while the infinitary logic L∞ω proved to be a useful ...
متن کاملEvidence for Fixpoint Logic
For many modal logics, dedicated model checkers offer diagnostics (e.g., counterexamples) that help the user understand the result provided by the solver. Fixpoint logic offers a unifying framework in which such problems can be expressed and solved, but a drawback of this framework is that it lacks comprehensive diagnostics generation. We extend the framework with a notion of evidence, which ca...
متن کاملFinite Satisfiability in Infinite-Valued Lukasiewicz Logic
Although it is well-known that every satisfiable formula in Lukasiewicz’ infinite-valued logic L∞ can be satisfied in some finitevalued logic, practical methods for finding an appropriate number of truth degrees do currently not exist. As a first step towards efficient reasoning in L∞, we propose a method to find a tight upper bound on this number which, in practice, often significantly improve...
متن کاملCompleteness for Coalgebraic Fixpoint Logic
We introduce an axiomatization for the coalgebraic fixed point logic which was introduced by Venema as a generalization, based on Moss’ coalgebraic modality, of the well-known modal mucalculus. Our axiomatization can be seen as a generalization of Kozen’s proof system for the modal mu-calculus to the coalgebraic level of generality. It consists of a complete axiomatization for Moss’ modality, e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2012
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2012.02.005